Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Bravetti, Mario
Herlihy, Maurice
Kloul, Leila
Zavattaro, Gianluigi
Item types
Books
Series
Lecture notes in com...
Lecture notes in com...
Topics
Electronic Commerce
Engineering & Appli...
Informatique
Metering Schemes
Zero-Automatic Queue...
Show more
Your query retrived 2 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by
Bravetti, Mario
|
Kloul, Leila
|
Zavattaro, Gianluigi.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
New York: Springer, 2005
Availability:
Items available for loan:
[
Call number:
004 BRA] (1).
Place hold
2.
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings
by
Herlihy, Maurice.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Berlin: Springer-Verlag, 2000
Availability:
Items available for loan:
[
Call number:
004 HER] (1).
Place hold
Powered by
Koha